Nuprl Lemma : unit_chars 2,24

a:a | 1  (a ~ 1) 
latex


Definitionsa ~ b, P  Q, P  Q, P  Q, P & Q, Prop, b | a, x:AB(x), t  T
Lemmasone divs any, divides wf

origin